An Introduction to AKL A Multi-Paradigm Programming Language
نویسندگان
چکیده
These aspects of AKL are cleanly integrated, and provided using a minimum of basic concepts, common to them all. AKL agents will serve as processes, objects, functions, relations, or constraints, depending on the context. AKL is a programming language kernel. Some aspects of a complete programming language, a user language, have been omitted, such as type declarations and modules, a standard library, and direct syntactic support for some of the programming paradigms; but the programming paradigms and the basic implementation technology developed for AKL will carry over to any user language based on AKL. In the following sections, we will introduce AKL, then describe process programming in AKL, object-oriented programming in AKL, functional and relational programming in AKL, and constraint programming in AKL. Finally, it will be shown how these aspects may be integrated in an application.
منابع مشابه
Programming Paradigms of the Andorra Kernel Language
The Andorra Kernel Language (AKL) is introduced. We show how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. It has also been possible to provide capabilities beyond that of Prolog and GHC. There are means to structure search, more powerful than plain backtracking. It is possible to encapsulate search in concurrent reactive processes. It i...
متن کاملAn Overview of the Andorra Kernel Language
The Andorra Kernel Language (AKL) is a general combination of search-oriented nondeterministic languages, such as Prolog, and the process-oriented committedchoice languages, such as GHC [10, 8, 9]. For an introduction to the language from this perspective, see [7]. For an extensive formal treatment, see [4]. Although the Prolog programming paradigm is provided, AKL does not provide the exact op...
متن کاملProgramming Paradigms ofthe Andorra Kernel
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been possible to provide capabilities beyond that of Prolog and GHC. There are means to structure search, more powerful than plain backtracking. It is possible to encapsulate search in concurrent reactive pr...
متن کاملAn Automat ic Translation Scheme from CLP to AKL
The Andorra Kernel language scheme was aimed, in principle, at simultaneously supporting the programming styles of Prolog and committed choice languages. Within the constraint programming paradigm, this family of languages could also in principle support the concurrent constraint paradigm. This happens for the Agents Kernel Language (AKL). On the other hand, AKL requires a somewhat detailed spe...
متن کاملThe implementation of AKL ( FD ) Bj
AKL(FD) is an integration of (an extension of) the nite domain constraint system FD in AKL, a deep concurrent constraint programming language CJH94]. In this paper we describe the implementation of the FD solver and its adaptation to the generic constraint interface of the AGENTS implementation of AKL. We also describe compilation techniques used by the AKL(FD) compiler. 1 Introduction Conceptu...
متن کامل